单词proof theory
网络: 证明论；证明论教材；证明理论
Firstly, we construct the system KA of knowing agents, give some results of its proof theory.
首先，我们构造知道主体的系统KA，给出它的一些证明论结果。
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science.
现代逻辑分为递归理论，模型理论，证据理论，是密切相关的理论计算机科学。
Often referred to as proof theory.
通常称为证明论。
Firstly, we construct the dynamic epistemic conditional system DEC1, give some results of its proof theory.
首先，我们构造动态认知条件句系统DEC1，给出它的一些证明论结果。
The core of the theory of Topics of Science is the multi-dimensional proof theory.
科学论题学的核心内容是“论题”的多元论证理论。
Being semantically constructed, as yet computability logic does not have a fully developed proof theory.
正在做着语义构造，至今可计算性逻辑仍没有完全开发出证明论。
The burden of proof theory is the minor premise (the facts) to play a role in situations of uncertainty.
而证明责任理论就是在小前提（案件事实）不确定的情况下发挥作用。
Firstly, we construct the epistemic systems EK1-EK3, give some results of their proof theory.
首先，我们构造认知系统EK1-EK3，给出它们的一些证明论结果。
Differentiation and Correction of Four Groups of Opposite Concepts in Proof Theory
诉讼证明理论中的四组相对概念之辨正
Survey: Proof Theory Semantics of General Logic Program
综述：一般逻辑程序的证明论语义